fix typo, closes #3462

Thanks to github user @gaulinmp for submitting a bug report and the
suggested fix.