Updating the credits after r158717