Correct a bad example in the documentation.
Remove a doubled index entry.