Addendum to ``The existence of Buchsteiner and conjugacy-closed quasigroups''. (Q1024338)

The second author showed [in the paper Eur. J. Comb. 30, No. 5, 1382-1385 (2009); see the following review Zbl 1172.20049] that proper quasigroups of all prime power orders exist which satisfy the left conjugacy-closed condition \([(xy/x]z=x.y(x\backslash z)\) for loops. However, the quasigroups which he constructed have a universal right identity. In this addendum the authors show more generally that every quasigroup which satisfies the left conjugacy-closed condition for loops has a universal right identity.