demo for another defect in dartdoc