diff --git a/theories/proofmode/ltac_tactics.v b/theories/proofmode/ltac_tactics.v
index b5602fbec04b654362c4508e17cbc82b986a87a4..763137c051b55e16ad3adc7b2c382f7274104194 100644
--- a/theories/proofmode/ltac_tactics.v
+++ b/theories/proofmode/ltac_tactics.v
@@ -628,7 +628,7 @@ Ltac iSpecializePat_go H1 pats :=
           fail "iSpecialize:" H1 "not found"
          |solve_to_wand H1
          |lazymatch m with
-          | GSpatial => notypeclasses refine (add_modal_id _ _)
+          | GSpatial => class_apply add_modal_id
           | GModal => iSolveTC || fail "iSpecialize: goal not a modality"
           end
          |first