The natural boundary condition for the Poisson-like equation for \phi cannot be satisfied, it is satisfied only to within $O(\Delta t)$, see https://fenicsproject.discourse.group/t/natural-boundary-condition-is-not-satisfied/16606/8?u=mekong . This should be clarified in the webpage.