fixing broken module defs