[GHC] #8254: confusing comment on allocate()