Fix markdown syntax on dev doc