Small fix to the framebuffer code