Update a comment.
Merge pull request #201 from bangerth/doc-update-5

Update an error message.