core.typed: Fix typos