Index: src/natools-s_expressions-printers-pretty.adb
==================================================================
--- src/natools-s_expressions-printers-pretty.adb
+++ src/natools-s_expressions-printers-pretty.adb
@@ -750,10 +750,11 @@
             end if;
          end loop;
 
          pragma Assert (O = Result'Last);
          Result (O) := Encodings.Quoted_Atom_End;
+         Output.Cursor := Output.Cursor + 1;
 
          Write_Raw (Printer'Class (Output), Result);
       end;
 
       pragma Assert (Output.Cursor = Expected_Cursor);