Відправити по sms: The trembling-hand problem for LTLf planning