pthubert fixing a change to "THIS RFC" gone wild