fix; types violations