Typo fix
Merge pull request #9768 from mikeputnam/devel

Typo fix