Another small typo in the docs