Fixed a small error in the last commit.