Re: print_latex() bug