Small fix to framebuffer sizing