Fix small packaging bug