A new pull request would probably be best just to keep things clean.