Minor typo fix in docs