fix test-failure in adt