is_empty bugfix