[Gretl-users] trivial documentation bug