Fix a print bug