Formatting issue with the doctests