fixed bug in prelude.