diff -r ac5e633ad9b3 -r 833f26c3a3af src/Pure/General/bytes.ML
--- a/src/Pure/General/bytes.ML	Tue Jun 21 14:51:17 2022 +0200
+++ b/src/Pure/General/bytes.ML	Tue Jun 21 14:51:50 2022 +0200
@@ -2,8 +2,10 @@
     Author:     Makarius
 
 Scalable byte strings, with incremental construction (add content to the
-end). Note: type string is implicitly limited by String.maxSize (approx. 64
-MB on 64_32 architecture).
+end).
+
+Note: type string is implicitly limited by String.maxSize (approx. 64 MB on
+64_32 architecture).
 *)
 
 signature BYTES =