A quick fix for nicoulaj/idea-markdown#97.