several small documentation fixes