Small improvement in prelude