It looks like https://bugs.launchpad.net/pulseaudio/+bug/213053 describes the same bug. Like that bug, I have been unable to reproduce it since.