another last-minut fix for packaging error