If you could just add a space after the comma and then do `git add -u; git commit --amend` and save the changes as presented and then `git push -f YOURNAME THISBRANCH` it will update the PR and this will be ready to go. OUCH! Thanks for catching that error. I'm almost sure I made that mistake.