Bug in Wordpress?

I just noticed that, when editing a post that uses SyntaxHighlighter (that has the tag <pre>) in Visual mode, attribute name="code" gets lost. The attribute needs to be inserted again in HTML mode. Annoying, to say the least, if not downright scary.

This is how the <pre> tag should look like:
<pre name="code" class="c-sharp">

... some code here ...

</pre>

If your source code disappears after you edited it, check, in HTML mode, the attribute name. It is very probable that it was lost in Visual mode.