fix some links in the documentation; version bump