work on ceylon/ceylon-js#409