Version 1387 was commited by steve on 2009-11-13 21:30:35 +0000 (Fri, 13 Nov 2009) The number of cities is given by cityList.size() and not by cities.size(). Should fix problems that show up most obviously when creating the global index.