Good catch! In case you or anyone else is interested, this would make a great first PR.
This is the source file:
It’s a simple enough change, someone could edit and submit a PR via their browser if they didn’t have a development environment set up.
I’m afraid so.