Merge pull request #31 from dart-lang/fix-bots

make the bots happy