Fix errors in deprecate.dd