Tweak markdown in DEVELOP.md