There's an invalid term: - inner(u*n, grad(u))*ds \ (I'm adding FFC .ufl files to UFL demo/ to increase the test coverage). Martin