notation changes, minor changes