see version entry in ChangeLog