Fix ceylon/ceylon-js#200