Random music doesn't stop when you play a disc on a jukebox

What should happen:
-When you try to play a music disc on a jukebox while Minecraft random music is playing, that music should stop for playing the disc.

What actually happened:
-The Minecraft random music doesn't stop, keeps playing, so you can't hear the music disc.

To reproduce:
1. Place a jukebox
2. Play a C418 disc (anyone) while the random Minecraft music is playing