Another bug fix for Maxeler MC Solver