Fix a minor error in the last commit.