Fix installation docs

Some fixes to the docs I found when trying to build a local development environment