Docs; fixing typo in documentation