very little documentation fixes