[CRASH] fix tutorial example related to lazy evaluation.