rfc: Corrected typos in a couple of file names