Isn't this check incorrect, because the header is included in `alloc`?