Minor. Comment modified.