diff --git a/regression/cpp/Qualifiers_In_Template_Specialisation1/test.desc b/regression/cpp/Qualifiers_In_Template_Specialisation1/test.desc
index 5893356edf6..a003b07b93c 100644
--- a/regression/cpp/Qualifiers_In_Template_Specialisation1/test.desc
+++ b/regression/cpp/Qualifiers_In_Template_Specialisation1/test.desc
@@ -1,4 +1,4 @@
-KNOWNBUG
+CORE
 main.cpp
 
 ^EXIT=0$
diff --git a/regression/cpp/Template_Instantiation2/test.desc b/regression/cpp/Template_Instantiation2/test.desc
index 5893356edf6..a003b07b93c 100644
--- a/regression/cpp/Template_Instantiation2/test.desc
+++ b/regression/cpp/Template_Instantiation2/test.desc
@@ -1,4 +1,4 @@
-KNOWNBUG
+CORE
 main.cpp
 
 ^EXIT=0$
diff --git a/src/cpp/cpp_typecheck_template.cpp b/src/cpp/cpp_typecheck_template.cpp
index 6654db1cf3f..052be288891 100644
--- a/src/cpp/cpp_typecheck_template.cpp
+++ b/src/cpp/cpp_typecheck_template.cpp
@@ -635,13 +635,6 @@ void cpp_typecheckt::convert_template_function_or_member_specialization(
   cpp_declaratort declarator=declaration.declarators().front();
   cpp_namet &cpp_name=declarator.name();
 
-  if(cpp_name.is_qualified())
-  {
-    error().source_location=cpp_name.source_location();
-    error() << "qualifiers not expected here" << eom;
-    throw 0;
-  }
-
   // There is specialization (instantiation with template arguments)
   // but also function overloading (no template arguments)