Fixed doctest mistake found in Travis