Fixed bugs in BinaryMetropolis