Corrected video encoding declarations in video examples (#4617)