Some small documentation fixes