Correct domain module