updates for latest prelude update