Should the iPhone keyboard have an Undo button?