formatting of defs
formatting