new variant due to ceylon/ceylon-js#403