michaelt/pandoc — comment on commit d57b39b684ca87a79b7d12bfe601b37dcd95afa0
File:  line 0
By jgm:

Thanks, Michael! - this was exactly the right fix, but I didn't see your pull request until after I'd seen Joost's email and fixed the bug.