The tests fail, but correctly