Bug fixes in half_alloc