Renamed the RFC file.