Work around bug in Github-flavored markdown