Fix type in tex