fix another broken example