Minor documentation modification.