Minor fix related to extension of video files