Working around GitHub Markdown bug