diff --git a/VERSION b/VERSION
index adb8ff8e..4fdb3b14 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-8.3.102
+8.3.103
diff --git a/extract/ExtBasic.c b/extract/ExtBasic.c
index b267d2e3..eb680928 100644
--- a/extract/ExtBasic.c
+++ b/extract/ExtBasic.c
@@ -1730,10 +1730,6 @@ extOutputDevices(def, transList, outFile)
 		if (TTMaskIsZero(tmask)) {
 		    if (termcount < nsd) {
 			ExtDevice *devcheck;
-			/* See if there is another matching device record with	*/
-			/* a different number of terminals, and try again.	*/
-			devcheck = extDevFindMatch(devptr, t);
-			if (devcheck != NULL) devptr = devcheck;
 
 			/* Not finding another device record just means that	*/
 			/* terminals are tied together on the same net, such as	*/