Minor fix that does not change anything