[PATCH] Fix typo in doc comment