Hopefully fixed latex unicode problem.