some other documentation fixes