Fix some typing typos