Programming Phoenix LiveView: Error in form component invocation, (page 241 epub)

In the book the invocation is presented as:
“<​.​live_component
​ module=​{PentoWeb.ProductLive.FormComponent}​​
id=​{@product.id​ ​||​ :new​}
​​ title=​{@page_title}
​​ action=​{@live_action}​
product=​{@product}​​
navigate=​{~p"/products"}​​ />”

  <.live_component
    module={PentoWeb.ProductLive.FormComponent}
    id={@product.id || :new}
    title={@page_title}
    action={@live_action}
    product={@product}
    patch={~p"/products"}
  />

In LiveView 19.5 my generator replaces navigate with patch