minor notation changes