R2L/SuReal: small improvement to fix a crash

Fixes one way that can crash (r2l "...") calls.