Fixed #351: Smart Playlist different results for different users