[dcl.spec.auto] adjust editing marks