Possible fix for ceylon/ceylon-js#266