Fix type specs