Fix markup in heading.
Fix markup in heading.

Our scripts, as well as doxygen, need a bit of help here.

sairajat/dealii,sairajat/dealii,sairajat/dealii,kalj/dealii,naliboff/dealii,danshapero/dealii,naliboff/dealii,kalj/dealii,kalj/dealii,danshapero/dealii,sairajat/dealii,sairajat/dealii,danshapero/dealii,naliboff/dealii,naliboff/dealii,sairajat/dealii,naliboff/dealii,kalj/dealii,kalj/dealii,danshapero/dealii,sairajat/dealii,danshapero/dealii,kalj/dealii,naliboff/dealii,naliboff/dealii,danshapero/dealii,danshapero/dealii,kalj/dealii