Typos and type deduction