Small compatibility change with respect to R.E.