Got rid of ref-types.