Tiny bugfix to make latex gen. work in empty workspace