Fix errors in arras.dd