Minor fix to debian/control