Eliminate duplicate of VERSION