For this one it's OK (I'll merge the new PR you sent), but you don't have to send new PRs to fix something. Just add a commit with the fix, push it to the github branch from which you sent the PR, and it will show up here.