fix LeaTex rendering bug