fix Example so that it works without error
(We need to fix the "while" line again)