fix a print bug