Fix bug uncovered by ceylon/ceylon-js#174