fix example for #26