small mod. in DESIGNDOC