is_empty() property fixed