Fix wrong regexp listed in the grep vs jrep article.