More fixes because of ceylon/ceylon-spec#1063