work on #405
fix ceylon/ceylon-js#407
work on ceylon/ceylon-js#405