Do we need to define an empty module?