Trivial updates to released versions.
Andreas