Some more minor documentation changes