Was it automated tagging or a sleepy editor who couldn't decide which San Jose this article was about on NYTimes.com?