Fix typo from previous commit (282f5d0).