small change to developers.txt