Minor fixes to documentation and setup