firedrakeproject/firedrake — pull request #130 by dham (2014-01-15 17:59:26+00:00)
Title: Sphinx errors

Make a couple of trivial changes to remove the two sphinx build errors we currently have.