more explanation of literate doctest