Fix small error in RMILP