Small documentation update; version bump