Issue14

This branch fixes issue 14: https://github.com/firedrakeproject/firedrake/issues/14