Final corrections to last commit