Fix typo.

Fixes #1627