Minor fix that makes no sense, but works.