Fix two gcc warnings about confused printf format strings in the