Fix a bug in ex_06