Fix a broken example