added in an html hack to please github flavored markdown