Fix accidental deletion from previous commit.