Fix a bug in last ex