Consider the following quote from the Wikipedia entry *Coalgebra*:

>The kernel of every coalgebra morphism $f : C_1 \to C_2$ is a coideal in $C_1$, and the image is a subcoalgebra of $C_2$.

I can't see any qualifiers preceding or succeeding the statement. Am I missing something obvious here, or is this just plain wrong?

Do there not exists kernels of coalgebra maps that are not coideals?