producer_framebuffer.c: a little cleanup from last commit