minor refinements in version history
rename VERSIONS to VERSION