Minor fixes to docs and quickstart