another pandoc doc tweak