Technically speaking "| ;echo -a 0" isn't supposed to work either, so you shouldn't trust it to.

But I guess this could be fixed and maybe the documentation can be changed to officially support ; in the middle of a line.