Correction suggested by Asgeir.