Fixed a couple of example/solution typos.