API change from ceylon/ceylon-js#400