diff --git a/web/paperweb.php b/web/paperweb.php
index 4257206..cc1a82f 100644
--- a/web/paperweb.php
+++ b/web/paperweb.php
@@ -62,30 +62,36 @@ if (array_key_exists('doDownload', $_REQUEST)) {
     $json = @$_REQUEST['queryDone'];
   }
   if ($json) {
-    $current = (array_key_exists('doThumbnails', $_REQUEST) ? $_REQUEST['doThumbnails'] : @$_REQUEST['currentDoc']);
+    if ($json == '[]') {
+?>
+    <p>No result.</p>
+<?php
+    } else {
+      $current = (array_key_exists('doThumbnails', $_REQUEST) ? $_REQUEST['doThumbnails'] : @$_REQUEST['currentDoc']);
 ?>
     <h2>Documents found</h2>
     <input type="hidden" name="queryDone" value="<?php echo htmlentities($json); ?>"/>
 <?php
-    foreach (json_decode($json, true) as $doc) {
-      $docId = $doc['folder'].'|'.$doc['type'];
+      foreach (json_decode($json, true) as $doc) {
+        $docId = $doc['folder'].'|'.$doc['type'];
 ?>
     <button type="submit" name="doThumbnails" value="<?php echo htmlentities($docId); ?>"<?php
-      if ($docId == $current) {
-        echo ' disabled="disabled"';
-      }
+        if ($docId == $current) {
+          echo ' disabled="disabled"';
+        }
     ?>>
       <h3><?php echo preg_replace('/^(....)(..)(..).*$/', '$1-$2-$3', $doc['folder']); ?></h3>
       <p><?php echo $doc['count']; ?> pages (<?php echo ($doc['type']=='pdf'?'PDF':'images'); ?>)</p>
-<?php if (count($doc['labels'])) { ?>
+<?php   if (count($doc['labels'])) { ?>
       <ul>
-<?php   foreach ($doc['labels'] as $lab) { ?>
+<?php     foreach ($doc['labels'] as $lab) { ?>
         <li><?php echo htmlentities($lab); ?></li>
-<?php   } ?>
+<?php     } ?>
       </ul>
-<?php } ?>
+<?php   } ?>
     </button>
 <?php
+      }
     }
   }
 ?>