Fix the example syntax