Correct typos in the explainer

Nothing more in this commit! :-)