Fix erroneous decoding of R-REFs