A stray printf again? :)