Runtime: small fix to string implementation