some documentation fixes