Workaround for a small bug in the markdown generator.