Fix this testcase to fail if the bug were reintroduced.