Bugfix to DEVELOP.rst formatting