Fixes a mistake from the previous commit.