Fixing doctests, and release numbers