fix some docs renaming