Fix doctest version number