Fix bad typing#2