small enhancement in MachineJobShop