Updated

If you're a Twitter user, you've probably done it before: made a simple grammar or spelling error in a tweet. And then you probably rolled your eyes and let out a puff of air in annoyance when you realized there's no way to edit tweets.

Yup, cars can now drive themselves, drones are delivering food, and robots are performing surgery… and yet, Twitter users have no way to fix their typos without having to delete the erroneous tweet and try again.

Fortunately, that may be changing. Twitter CEO Jack Dorsey took to the microblogging service Thursday to ask users a question: "what's the most important thing you want to see Twitter improve or create in 2017?" For many, the answer is simple: a way to edit tweets.

In response to one user's request for an editing feature, Dorsey asked if it's more important to be able to "edit mistakes quickly or edit anytime?" The CEO clarified that there's a big difference between the two.

More From PCmag

"Latter requires change log as we're oft the public record," he said.

Dorsey asked another user if a "5 minute window to edit mistakes" would be sufficient, or whether people need to be able to edit their posts anytime. Regardless, he later said this is a feature the company is "thinking a lot about."

So, cross your fingers, Twitter users: an edit feature may be on the way.

Meanwhile, a couple of other features are high up on users' list of requests: a way to bookmark or save things and more protection from trolls and harassers. Dorsey said the company has "been thinking about" adding a bookmark/save feature. On the topic of harassment, Dorsey highlighted some of the company's recent efforts to fight abusers and said it's Twitter's "top priority."

This article originally appeared on PCMag.com.