oops: fix a case of infinite types