Fix example for #3