fix due api change in ceylon-spec