No bug: another version bump