Re #7784. Changing package version number.