Doc tweaks, version bump