working around GitHub Markdown bug