Minor documentation touchups.