some minor documentation fixes