minor to avoid dart2js warning