Fix a typo in the development process document.