Fix slight typo in documentation