Correct requirements of modules