Bug fix en developer.rst