bugfix for skip-sgml-tag!