minor tex changes