Fix a blunder in my last commit.