Fix example (thanks to Igor Karpov)