fix a print error