minor adjustments + latex dictionary added