Fix a silly bug in the previous commit.