minor changes to maintex file