hopefully final example corrections