A few more documentation changes