Minor improvements to a couple of examples