fix c8a76830 with deal 8.1
Merge pull request #223 from tjhei/fix_deal_81_compile

fix c8a76830 with deal 8.1
Fix compilation error introduced in 6a39ed4.
Merge pull request #225 from bangerth/fix-previous-commit

Fix compilation error introduced in 6a39ed4.