Docs typo in index entry. Fixes: #1551