fix for ceylon/ceylon-js#309 and ceylon/ceylon-js#310
fix for ceylon/ceylon-js#309