Does not work any more after merging new prelude code.