Fix a bug in InfoBoxOutput class