Some non-fun markdown issues are now fixed