proj: corrections to reflect change in HAMT API