adjust for ceylon/ceylon-spec#1038