tweak #604, version bump