An implicative BCS-algebra $\zseq{A; \bs, 0}$ is a non-commutative
analogue of an implicative BCK- or Tarski algebra. The variety
$\iBCS$ of all implicative BCS-algebras has been investigated
extensively in \cite{Bign04a}. In~\cite{Bign03a}
the authors studied implicative BCS-algebras and their connections
with the skew Boolean algebras of Cornish~\cite{Corn80a} and
Leech~\cite{Leec90}. This note corrects some of the results claimed
in \cite{Bign03a}, which are too strong to hold in the general case.