Fix a rather bad typo.