make sure coverage only checks tinytag