Minor correction involving coding convention