fixing bad typing