Yeah, so I made a mistake!
I caught it after I posted, and thought of posting a follow-up correction. Then I thought "no, I'll just leave it to see if anyone picks it up..."
This entry exists so I can point at the timestamp and say "yeah, I know"
Everything that can be invented has been invented. -- Charles Duell, Director of U.S. Patent Office, 1899