Fixed some typos in the pumping lemma explanations.  Some greater-than and less-than
signs were, I think, reversed.