(no ticket) Fixed a typo in comment