minor documentation adjustments