Re: prbl in abbrev_defs