Updates to HAT spec.