minor change in notation