Add typos to Terminal.type