Corrections in doctests to get travis running