Fixing names in RELEASING.txt.