Fixing bug in include operation