Update for ceylon/ceylon-spec@ef32121