Fixed a typo in a comment. It was bothering me.