fix the syntax of `rx-to-string'