Fixes a gen() bug in example-01.