Code

Fix a typo in a previous commit. Closes #1401357.