vlc: cosmetic fix