Further slight documentation changes