Minor polishes for examples.