I agree that the second test should fail, as it does here.