Fix a bug in previous commit.