If you have fixed a notation mistake, then we would be grateful if you could inform us as such. Please indicate here which file and what have you improved. For every published refinement you get ONE WEEK credited toward your membership.