Minor documentation changes

Mistake?