fix in printf