Acho que esse foi um problema específico de dois mouses diferentes que tentei, pois um terceiro mouse não tinha esse problema. É possível que a configuração do meu computador específico tenha agravado o problema com os mouses, de modo que o problema ficou invisível em outros computadores.