Fix typo in DEVELOPERS.md instructions

5 jobs for bugfix/fix-typo-instruct in 3 minutes and 39 seconds (queued for 3 seconds)