-they do is the same as documented in @ref{Standard Procedures, R4RS, ,
-r4rs, R4RS}. But I will point out that when a procedure takes a
+they do is the same as documented in @ref{Standard procedures, R5RS, ,
+r5rs, R5RS}. But I will point out that when a procedure takes a