Minor change in notation.