Fixing filename in doctest