Fix another error in RMILP