Small correction in ex1