Thanks, we've corrected that.

Awesome! If you see this comment, can you answer me this. I see you guys correct titles all the time. I never know if you guys are just incredibly active comment readers, grep for comments like mine, or rely on flags or something else? I didn't see anything in the FAQ but am just wondering what the best way to bring to admins' attention small title issues like this.

We fix most of them by looking at article titles ourselves, and the rest by reading comments and emails. Flags too, but it's better not to flag a good article because of a bad title, since the flag sticks around after the title is fixed.

If you or anyone want to make sure we know about a problem title, emailing [email protected] is best. We don't come close to reading all the posts here.

It makes one wonder why people feel the need to editorialise titles at all. In plenty of subreddits, for instance, the practice is banned.

It's banned here too, but banning a thing doesn't eliminate it. (If only it were that easy.)

"Please use the original title, unless it is misleading or linkbait; don't editorialize." https://news.ycombinator.com/newsguidelines.html

Editorializing is prone to abuse, but sometimes it is necessary on various grounds, such as the original title of an article being obtuse, misleading or even offensive. A good title should convey the nature of the subject matter and why it is worth reading. Nothing else.