Redo last commit, with correct diff this time.