--- a/src/Pure/Thy/bibtex.scala Tue Jan 31 14:59:19 2023 +0100
+++ b/src/Pure/Thy/bibtex.scala Tue Jan 31 16:13:27 2023 +0100
@@ -132,7 +132,7 @@
case (Error(msg, Value.Int(l)), _) =>
Some((true, (msg, get_line_pos(l))))
case (Warning_in_Chunk(msg, name), _) if chunk_pos.isDefinedAt(name) =>
- Some((false, (Word.capitalize(msg + " in entry " + quote(name)), chunk_pos(name))))
+ Some((false, (Word.capitalize(msg) + " in entry " + quote(name), chunk_pos(name))))
case (Warning(msg), Warning_Line(Value.Int(l))) =>
Some((false, (Word.capitalize(msg), get_line_pos(l))))
case (Warning(msg), _) =>