Minor fixes to installation and running