FIX: Work around bug in the Github Markdown processor