Fixed printing on x64