[PATCH] Fix a typo in a comment