Minor comment addition in response to code review for #5056