Fixed some typos (and the last Prolog listing).