Minor documentation change.