Changed names of doc files.