Fix a couple of examples' whitespace