some editorial changes for the <depend> tag