Fixing broken tex file