Reinstate comment removed by accident.