Fix incorrect call to alloc_p