Fix a typo in the previous patch.