Fix example for 0.9.4.