+ Changes due to renaming of operators