Missing space in docblocks
Merge pull request #5068 from lucasmichot/4.2-docblocks

[4.2] Session : missing space in docblocks
Fix conflicts.