minor documentation fixes