clean up the notation a little