Fix some notations