small documentation fixes