update of doc with changes in declarations