work-around for DARTBUG 13368

Shouldn't be a big deal, though