Fix #39: <pre> lines cut off in markdown