minor correction and comment