VERSION: Updated version number.