Merge "fix typo in docs"