Fix cout hex formatting -- reset to dec after printing