fix a typo: "their is" -> "there is"

i put this in the previous patch, but you merged too quickly.  :)  I don't see any other changes after this.