minor changes Texfile