Fix bug with losing LaTeX typesetting after backend restart

Authored by sirgienko on Nov 18 2018, 7:04 PM.