Somehow, the example works.