updating language syntax for ML 7+