Even more documentation fixes