Fix some tests broken by ceylon/ceylon-spec@46cf215