Some minor fixes to the installation procedure