Another version bump, and doc tweak