fixes #15, issue with highlighting within html regions