fixing bug #23; turned top-level effects into an unrecoverable error in --verify mode