Fix terminal type