minor change to the typing system