corrected error in prelude_stub2.sl