Now all the tests succeed.