Fix a few printf format errors