Trunk

Some small documentation fixes.