Fixing a wrong example