Fixing packaging bug found by R. Grecco.  (Thanks!)