Hrm, yeah looks like it's OK.  It must just be the *printf() class of functions that butcher %.