Another stab at getting this printf right