added correct printf format strings