Mouse.py in demos giving TypeError: unsupported operand type(s) for /: 'tuple' and 'int'

I can confirm it’s still there in 1.85.6 ! why ? (the windows bug with the problem of encoding the name of the sound card is still there too !)