tuned;

--- a/src/Tools/jEdit/src/document_model.scala	Sun Dec 31 21:42:20 2017 +0000
+++ b/src/Tools/jEdit/src/document_model.scala	Mon Jan 01 16:06:30 2018 +0100
@@ -546,7 +546,7 @@
 
   def bibtex_entries: List[Text.Info[String]] =
     GUI_Thread.require {
-      if (node_name.is_bibtex) {
+      if (is_bibtex) {
         _bibtex_entries match {
           case Some(entries) => entries
           case None =>