I was having some other problems and in the course of fixing them, this problem seems to have fixed itself… or at least if I fixed it I don’t know exactly what did it. Anyway, problem solved and at this point I think it was more likely a local problem, not a consistent problem between these two plugins.
Thanks for your efforts.