Editing manual/user/param_syntax.dox