Merge pull request #12664 from chdecultot/fec2

[Hotfix] Doc file rename