Ah! Good idea. Done. -bw On Feb 10, 2010, at 12:41 AM, Duncan Sands wrote: > Hi Bill, > >> + if (TypeInfos.size() != 0) EOL("-- Catch TypeInfos --"); > > how about: if (!TypeInfos.empty()) ... > >> + if (FilterIds.size() != 0) EOL("-- Filter IDs --"); > > Likewise. > > Ciao, > > Duncan. >