Global formatting fix
Merge pull request #5781 from lucasmichot/4.2-formatting

[4.2] Global formatting fix