Bugfix, skip the doctests, for real this time