  Suppose that $G$ is a finite group and $K$ a non-trivial conjugacy class of
$G$ such that $KK^{-1}=1\cup D\cup D^{-1}$ with $D$ a conjugacy class of $G$.
We prove that $G$ is not a non-abelian simple group. We also give arithmetical
conditions on the class sizes determining the structure of $\langle K\rangle$
and $\langle D\rangle$. Furthermore, if $D=K$ is a non-real class, then
$\langle K\rangle$ is $p$-elementary abelian for some odd prime $p$.
