Thanks for the comment.  I have now fixed this.  I have added another commit on top of the original pull request fixing this.  Should I "squash" the two commits together?  Not sure if github will still consider the new branch to be a part of this pull request in that case though.