Corrections to previous commits.