removal of BUG()