fix small Pandoc bug