Fix a bug in ex07 of day 01