Fix typo in doc file