fix pr number