The example was wrong