a few more changes in the notation.