Finish 3744

This finishes the great pull request started by @mickaelandrieu in #3744.
missing `)` after `by the user`  and maybe change "was used by the user" to "was set by the user" or "was passed"?