fix for an ArrayList() size-related bug; also, toned down some logging messages.