Disambiguate duplicate anchors.
Fix some documentation errors.