Minor fix for packaging