Fix a bug in ex08