modify JUnit for correctness