No need for a empty module