Correct a bug from the previous commit.