correction on empty checking -> issued failing on IC