Very minor class name change.
More generally, deterministic SEPP no longer working.. TODO: find out why not.