fixed 64-bit printing message