diff --git a/VERSION b/VERSION
index 9107f86f..0d8305da 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-8.3.418
+8.3.419
diff --git a/database/DBcellsrch.c b/database/DBcellsrch.c
index f527f84b..c5a2e400 100644
--- a/database/DBcellsrch.c
+++ b/database/DBcellsrch.c
@@ -619,8 +619,8 @@ DBTreeSrLabels(scx, mask, xMask, tpath, flags, func, cdarg)
 		    r1.r_ybot = r->r_ytop;
 		    r2.r_xbot = r->r_xtop;
 		}
-		is_touching = GEO_TOUCH(&lab->lab_bbox, &r1) ||
-			  GEO_TOUCH(&lab->lab_bbox, &r2);
+		is_touching = GEO_TOUCH(&lab->lab_rect, &r1) ||
+			  GEO_TOUCH(&lab->lab_rect, &r2);
 	    }
 	    else
 		is_touching = GEO_TOUCH(&lab->lab_rect, r);
diff --git a/doc/html/ext2sim.html b/doc/html/ext2sim.html
index 73cad9a5..971954fe 100644
--- a/doc/html/ext2sim.html
+++ b/doc/html/ext2sim.html
@@ -128,6 +128,15 @@ Convert extracted file(s) to a ".sim" format file.
 	     of search for area and perimeter is the whole netlist.  In
 	     general, <B>flat</B> (which is the default) will give accurate
 	     results (it will take into account shared sources/drains).
+	<DT> <B>-p</B> <I>path</I>
+	<DD> Search the directory location <I>path</I> for .ext format
+	     files.  This option is typically used with the "<B>extract
+	     path</B> <I>path</I>" command, because extraction and netlist
+	     generation are two independent steps.  If this option is not
+	     specified, then by default the .ext file is expected to be in
+	     the same location as the corresponding .mag file, and failing
+	     that, the search path for .ext files is the same as the search
+	     path for .mag files.
       </DL>
       </BLOCKQUOTE>
 
diff --git a/doc/html/ext2spice.html b/doc/html/ext2spice.html
index 813f0486..c3f4f372 100644
--- a/doc/html/ext2spice.html
+++ b/doc/html/ext2spice.html
@@ -273,6 +273,15 @@ Convert extracted file(s) to a SPICE format file.
 	     of search for area and perimeter is the whole netlist.  In
 	     general, <B>flat</B> (which is the default) will give accurate
 	     results (it will take into account shared sources/drains).
+	<DT> <B>-p</B> <I>path</I>
+	<DD> Search the directory location <I>path</I> for .ext format
+	     files.  This option is typically used with the "<B>extract
+	     path</B> <I>path</I>" command, because extraction and netlist
+	     generation are two independent steps.  If this option is not
+	     specified, then by default the .ext file is expected to be in
+	     the same location as the corresponding .mag file, and failing
+	     that, the search path for .ext files is the same as the search
+	     path for .mag files.
       </DL>
       </BLOCKQUOTE>
 
diff --git a/doc/html/extract.html b/doc/html/extract.html
index e71ed0c4..2f1e5a6d 100644
--- a/doc/html/extract.html
+++ b/doc/html/extract.html
@@ -140,7 +140,10 @@ Circuit netlist extractor
 		the user, in which case the file is extracted to the
 		current working diretory.  Note that "<B>extract do local</B>"
 		is the same as "<B>extract path .</B>" and "<B>extract no local</B>"
-		is the same as "<B>extract path none</B>".
+		is the same as "<B>extract path none</B>".  Also note that
+		netlist generation is independent of extraction, and needs to
+		specify the same path as used by <B>extract path</B>, e.g.,
+		"<B>ext2spice -p</B> <I>pathname</I>".
 	   <DT> <B>parents</B>
 	   <DD> Extract the selected cell and all its parents
 	   <DT> <B>showparents</B>