adapted some defDirectives to new notation