minor bugs in branch and bound