removed obsolete lines from def1