Test case now fails as it should, reproducing error