Updated version elsewhere.