bug fixes; BMC line drawn