This fixes a typo in a previous commit.