Fixing some bugs regarding lems inclussions