Fix typo in earlier fix, caught by Ranjit @ HP.