fixing a bad typing