Fix slight typo in previous commit.