ajust for the inconsistent behavior of latest dart sdk