Fixed a printf problem