Fix an oversight that prevented code from compiling.
Merge pull request #224 from bangerth/fix-compile-error

Fix an oversight that prevented code from compiling.