Fix minor bug in RMILP