a few minor correction and remove a file that is not used.