Update installation documentation, fix minor issues and bugs