Fix "CodeBurner is not defined" in codeburner-BUG.js:1454