Minor documentation changed.