fix Judy1Op example