Super small changes in DEVELOPER.txt