fix typo pointed out by @vene. Also, be less modest in the intro.