The example works