This test should fail in CI