Doc fixes.

Nothing more significant so far :)