Bug in installation script