Minor correction in syntax