fix testcase
This line was suspicious from the beginning but I forgot to correct it. Now it works.