Dockblock fix
Merge pull request #5497 from OlivierBarbier/4.2

Dockblock fix