Small fixes in defs