Fix blunder in my recent commit.