Bug fixed in SPT and LPT heuristic