Some more documentation changes