the team doctor is calling it arm discomfort. Sounds like nothing major.
More information about text formats