fixes for github-flavored markdown being annoying