Minor documentation alterations