Fix weird pandoc auto-formatting