Make value optional when relevant MIP is present, fix #1863
Minor: remove unnecessary override