You are probably right. There seems to be a few slight differences in grouping/naming convention between the regular and old IE SCSS.