Fixed undefined control sequence in Ex 7