Fix small typo in doc