other tiny documentation fixes