Documentation fixes

Some fixes I've noticed while setting up an environment.