Fix broken example.