AUTHORS: Add the correct new name.