Fix a bug introduced in the previous commit.