Minor corrections resultant from adding the mirex example