Allocation fix for Jack