Winchester City is *not* a part of Frederick County. Many cities in VA were incorrectly included in counties during a data import. In VA, an "independent city" such as winchester is equal in status to a county, while a "town" is part of the county. Wikipedia has a list of independent cities as of 2000