Some more documentation fixes and additions