some minor typo fixes in DEVELOPERS