Fix workaround for stray underscore in tex output