small fixes in BMC