Fix a typo.

As discussed at the end of #214