New version now too long. Perhaps move comment to prior line.