Fixed a small error in a printf()