diff --git a/src/prolog/examples/plres.pl b/src/prolog/examples/plres.pl
index a19ca5a7..9bc2931b 100644
--- a/src/prolog/examples/plres.pl
+++ b/src/prolog/examples/plres.pl
@@ -31,6 +31,7 @@
 
 :- use_module(library(dcgs)).
 :- use_module(library(dif)).
+:- use_module(library(format)).
 :- use_module(library(lists)).
 
 pl_resolution(Clauses0, Chain) :-
diff --git a/src/prolog/machine/partial_string.rs b/src/prolog/machine/partial_string.rs
index eaaad181..cb95b44c 100644
--- a/src/prolog/machine/partial_string.rs
+++ b/src/prolog/machine/partial_string.rs
@@ -200,7 +200,7 @@ impl PartialString {
 
     #[inline]
     pub fn range_from(&self, index: RangeFrom<usize>) -> PStrIter {
-        PStrIter::from(self.buf, self.len, index.start)
+        PStrIter::from(self.buf, self.len - '\u{0}'.len_utf8(), index.start)
     }
 
     #[inline]