This comment applies here and elsewhere...