lol. Good point. I was a bit hasty and just modified `testcase04.log`. Guess that should be changed too...