Index: src/db.c
==================================================================
--- src/db.c
+++ src/db.c
@@ -1395,13 +1395,12 @@
   const unsigned char *zA = (const unsigned char*)pKey1;
   const unsigned char *zB = (const unsigned char*)pKey2;
   int i=0, j=0, x;
   (void)notUsed;
   while( i<nKey1 && j<nKey2 ){
-    if( fossil_isdigit(zA[i]) ){
+    if( fossil_isdigit(zA[i]) && fossil_isdigit(zB[j]) ){
       int k;
-      if( !fossil_isdigit(zB[j]) ) return x;
       while( i<nKey1 && zA[i]=='0' ){ i++; }
       while( j<nKey2 && zB[j]=='0' ){ j++; }
       k = 0;
       while( i+k<nKey1 && fossil_isdigit(zA[i+k])
           && j+k<nKey2 && fossil_isdigit(zB[j+k]) ){