I don't know how to modify a pull request. Should I make a new one?