removing some debugging statements in prelude