Fixed doctest example