notation correction