more minor documentation changes