Fixed silly bug in the last commit.