Fix a packaging error