Use !is_mpty ratehr than is_not_empty.