Fix #217 and ceylon/ceylon-js#187