minor correction of last commit