diff --git a/frontend/drivers/platform_psp.c b/frontend/drivers/platform_psp.c
index 6fbb3d650e..66af6017b1 100644
--- a/frontend/drivers/platform_psp.c
+++ b/frontend/drivers/platform_psp.c
@@ -233,8 +233,8 @@ static void frontend_psp_deinit(void *data)
    (void)data;
 #ifndef IS_SALAMANDER
    verbosity_disable();
-#endif
    pthread_terminate();
+#endif
 }
 
 static void frontend_psp_shutdown(bool unused)