Minor typo fix in documentation