Bug fixing: Installation module