Might be the server move of a while ago catching up to you - but it also can be pretty normal. Threadsdev goes up and down by several thousand almost on a daily basis. Google uses different servers and different databases, so they aren't always up to date. If the load was high when you did your search, you might hit a server with an older database and saw those results instead.