Finish the previous commit.

I should run git-diff before pushing...