Fix rather serious typo in last commit.