printf type fix.