Minor printf simplification.