Is this a bug in ICS or the music player or something else entirely?

Here's a video I just made addressing a little inconsistency in the Music Player between two same Galaxy Nexus running ICS (Both are the 16GB HSPA+ version). One is mine, the other is Mariam's (from Engadget.com). I don't know if it's a bug in the system, or in the player or something else. Any ideas?

Music Player 4.0.1 on ICS (via kevintsien)

UPDATE:

I think I might have found the cause. Here is the video, check it out.

music player 4.0.9 on ICS 4.0.1 (via kevintsien)