Fixed (another) typo in the last commit.