Minor fix of linking