corrected PushHistory code formatting