Remove duplicate doctest