Fixing a bug in installBender