little xml edit problem

idea #4.5.3
in ant build.xml type:

<!arg value="+-help"></arg>

try code->(un)comment with line comment on it


PS: should tiny bugs like this be put in tracker, in JIRA, or here? (or not reported at all? ;)

Note: I typed "+-help", because when I leave "--help"
then the -- gets somehow highlighted - not sure if this means another tiny IDEA bug or illegal xml