Enviar por SMS: The trembling-hand problem for LTLf planning