Insert line after `.. doctest::`

Fixes HTML output and LaTeX build/output error.
Merge pull request #6655 from rickhg12hs/minor_doc_fix

Insert line after `.. doctest::` in doc/manual/types.rst