videomenu.c: minor fix regarding the multisampling option.