Further change § to ` in RFV3 example