Doc fixes

Stuff I found while doing a simple test installation.