more documentation fixes