Oh, sorry, tired. I didn't realise this was Doctest output.