Small documentation adjustments