Bugfix to handle GitHub's new HTML markup