A few more documentation fixes