Fix Distribution.is_empty.