Thanks, but I have not changed that.
It is exactly as you see it.
However, after you pointed this out, in order to experiment I changed it to 16000. It still behaved exactly the same. :/
It appears to be a bug.
The buttons work on the PC, but when exporting to mobile it doesn't function as intended.