Correct implementation and add isolation test output