Clarify doctest option