A test that our XML-comments fix works.