Rename Khoa's badly-named file.