minor correction, latex error.