* src/video_output/video_output.c: oops, fixed a bug I just introduced.