Fixed 32 bit overflow on debug output.