minor to avoid dartdoc stupid error