minor change in comment