correct rogue printf