Fix a tiny bug in my lhs-to-md script.