Update documentation: typo fix