Let $k$ be a field, $S/k$ any scheme, $G/S$ a group scheme of multiplicative type and $X$ an $S$-torsor under $G$. Under what (sufficient/necessary/whatever) conditions on the schemes $X$, $G$, $S$, ... do we get an isomorphism $\overline{X} \cong \overline{G} \times_{\overline{k}} \overline{S}$, where the bar denotes base change to the algebraic closure of $\overline{k}$?

For example, do we always have this isomorphism if $\text{Pic}\ \overline{S}$ is trivial?