Update for new Prelude