types should really match now