Fix a bug introduced by the last commit.