[Moo] Problem with "new Event"?

[hairbo]

Hi all,

This appears to be either a problem with Mootools or with the "View
Generated Source" feature of Web Developer 1.1.8, (running on Firefox
3.5.7 on Snow Leopard).

If I run the code contained in the shell:

        var d = new Element('div', {id: 'el1'});
        d.set('html','<p>injected stuff</p>');

        d.inject($('container'));

<div id="container">
hi there
</div>

...and then view the generated source, I see this:

<div id="container">
hi there
<div id="el1"><p>new stuff</p></div></div>

</div>

There's an extra </div> on the newly-injected element.  Is this a bug
in Mootools, or is this an artifact of Web Developer?

Here's the shell of the code, though you won't see the problem in the
shell:

http://mootools.net/shell/m2tWz/