fix ceylon/ceylon-js#466