A couple of fixes for broken examples.