Fix bad packaging