A few more documentation fixes.