Bug fixing: Installation function