Some documentation adjustments and corrections