minor formatting tweaks to gfm