Fix tests (now they fail, because they should fail).