fix a latex issue again