Hacer, nada. La única solución actualmente es cambiar de terminal, ya sea por otro de otra marca, o por el mismo, ya que parece que no afecta a todos los terminales.