Fix bad typing #2