Fix a misstake since last commit.