minor correction involving coding convention