Bugfix in installation script