Fix conversion to C-string for printf.