Fix a couple of typos in Prolog day one