Fix a typo (at least looks like it)