Fix typo, closes #3615.