diff --git a/libsolidity/analysis/TypeChecker.cpp b/libsolidity/analysis/TypeChecker.cpp
index 49b28bada..6ce458e9e 100644
--- a/libsolidity/analysis/TypeChecker.cpp
+++ b/libsolidity/analysis/TypeChecker.cpp
@@ -334,8 +334,8 @@ bool TypeChecker::visit(FunctionDefinition const& _function)
 			m_errorReporter.warning(5815_error, _function.location(), "Interface functions are implicitly \"virtual\"");
 		if (_function.visibility() == Visibility::Private)
 			m_errorReporter.typeError(3942_error, _function.location(), "\"virtual\" and \"private\" cannot be used together.");
-		if (isLibraryFunction)
-			m_errorReporter.typeError(1878_error, _function.location(), "Library functions cannot be \"virtual\".");
+		if (_function.libraryFunction())
+			m_errorReporter.typeError(7801_error, _function.location(), "Library functions cannot be \"virtual\".");
 	}
 
 	if (_function.isPayable())
diff --git a/libyul/AsmAnalysis.cpp b/libyul/AsmAnalysis.cpp
index 2b6908142..a684fa963 100644
--- a/libyul/AsmAnalysis.cpp
+++ b/libyul/AsmAnalysis.cpp
@@ -592,7 +592,7 @@ bool AsmAnalyzer::warnOnInstructions(evmasm::Instruction _instr, SourceLocation
 	else if (_instr == evmasm::Instruction::PC)
 	{
 		m_errorReporter.error(
-			4316_error,
+			2450_error,
 			Error::Type::SyntaxError,
 			_location,
 			"PC instruction is a low-level EVM feature. "