Fix breakage caused by update of markdown
...