Merge pull request #4271 from galdiolo/patch-12

[ci skip] Fix file name in documentation
1 file changed