diff --git a/repos/libports/src/lib/sdl/video/SDL_genode_fb_video.cc b/repos/libports/src/lib/sdl/video/SDL_genode_fb_video.cc
index de64d3371..d25e226cc 100644
--- a/repos/libports/src/lib/sdl/video/SDL_genode_fb_video.cc
+++ b/repos/libports/src/lib/sdl/video/SDL_genode_fb_video.cc
@@ -74,7 +74,7 @@ extern "C" {
 	{
 		PDBG("Free framebuffer session object");
 		if(framebuffer != 0)
-			delete framebuffer;
+			Genode::destroy(Genode::env()->heap(), framebuffer);
 		framebuffer = 0;
 	}