Corrections of previous commits.