small fix in printf format