Minor documentation fix ups