oops, we made first the release, then the checkin; sorry about that