diff --git a/BUGS.md b/BUGS.md
index 670c250..c50a2d8 100644
--- a/BUGS.md
+++ b/BUGS.md
@@ -1,5 +1,19 @@
 # Bugs
 
+- There is a bug where re-opening the app (closing it through swiping away on the android app screen, then re-opening it) will display a splash screen with the app icon large and centered, and nothing happens.
+
+	- repro:
+		- open "Run 8" playlist
+		- skip a few songs forward/backward
+		- swipe away the app in Android
+		- (LibPasada.stop() - PlaybackEngine::stop() - musicFeed->join() hangs)
+		- open app again: warm restart by Android
+		- splash screen shows app icon, hangs there
+
+- MP3File::~MP3File() must call mp3file_delete()
+
+O> (fixed on 2026-06-11) scrubber was returning 2x the time progress from PasadaMusicPlayerEngine / liblockstep
+
 X> annotation playback: check what happens if some songs are not paired in the playlist. I believe the index is wrong and the player plays a different song from what is displayed as title and artist.
 
 - syncJukeboxIfToken() is always called at startup, even if we have a jukebox already
diff --git a/app/src/main/java/at/lockstep/player/playback/engine/PasadaMusicPlayerEngine.kt b/app/src/main/java/at/lockstep/player/playback/engine/PasadaMusicPlayerEngine.kt
index 61f06ba..a38ea67 100644
--- a/app/src/main/java/at/lockstep/player/playback/engine/PasadaMusicPlayerEngine.kt
+++ b/app/src/main/java/at/lockstep/player/playback/engine/PasadaMusicPlayerEngine.kt
@@ -131,8 +131,11 @@ class PasadaMusicPlayerEngine(
     override fun releaseSession() {
         closeOpenTrack()
         if (sessionInitialized) {
-            LibPasada.setPlaybackListener(null)
+            Log.i(TAG, "LibPasada.stop() ...")
             LibPasada.stop()
+            Log.i(TAG, "LibPasada.stop() done.")
+            LibPasada.setPlaybackListener(null)
+            Log.i(TAG, "LibPasada.setPlaybackListener(null) done.")
             sessionInitialized = false
         }
     }