And more documentation fixes