some minor documentation changes