@amueller  Check in doctest here.