BUG: core dump caused by stray statement left in after bug fix