Fixed a silly incorrect printf