That is something that we are aware of (partly due to the thread Hack linked to), and will be fixed at some point - but unfortunately not as soon as we would like, because the corrections to the Highlight tags are being done by a moderator on a voluntary basis (so will only happen as his free time allows).