Work around github's buggy markdown rendering.