customizations of Prelude