Fix example in spec