Changed weak formulation.