Fix printf %X