Before revision:  Although the second step requires `identification at infinity' , we can allow for cases of irregular identification.
After revision:  Although the second step requires `identification at infinity' argument, but accommodates cases of irregular identification.