irrelevant comment from the old code. Dropped.