Let $S$ be a scheme, $G$ a smooth affine group scheme over $S$, and $X$ an $S$-scheme with a ($S$-linear) $G$-action $\alpha : G\times X\rightarrow X$. Let $h_X$, $h_G$ be the representable sheaves on the small etale site $S_{et}$ associated to $X,G$ respectively. Suppose $h_X$ is a torsor under $h_G$ (i.e., $h_G(T)$ acts simply transitively on $h_X(T)$ for every etale $T\rightarrow S$). Must $X$ be a $G$-torsor? (i.e., $\alpha\times\text{id} : G\times X\rightarrow X\times X$ is an isomorphism). I'm happy to assume $G$ reductive if it helps. If this is true, a pleasing consequence is that it suffices to check that $h_G(\text{Spec }R)$ is simply transitive on $h_X(\text{Spec }R)$ for strict local rings $R$ of $S$.