Minor documentation change. Cosmetic.