videomenu: minor tweak regarding the aniso filtering option.