Bugfix in a test case