Fixup: String formatting type mismatch