Better check for already covered modules.