Fix a problem with the previous commit.