Trivial updates to released versions.

Andreas