on behalf of John O'Rourke: fix minor typo

Fixes Issue 5205