Fix broken example