don't confuse BUG and DEBUG