text: Looks like that number was filled in by a script which probably thought this is the city of Mountain View, CA (population is around 70,000). I fixed it using 2010 census data for Mountain View CDP (census designated place): https://www.openstreetmap.org/changeset/70452492