Fix printf usage (format strings have 0 parameters but 1 is given)