Minor fix (bis)