fixing a couple of bad macro types in cover tests