Fix a typo

Pointed out by Masafumi Yokoyama. Thanks!!!