Finish the first doctest