Fix a bug with not_empty.