Minor documentation adjustments