minor changes in def. section
minor changes in def. section