Fix latex doctests