Revoicing – possible bug?

I can’t reproduce this in a new project, even reproducing the same music exactly, so as usual I suspect that I would need to see the project to be able to diagnose the problem.