Fix error in MTZ and DL formulations