Fix up some broken examples