one more call to is_empty()