I fixed this in a commit after I sent the pull request.