some small documentation fixes