remove trivial printf error