diff --git a/libyul/backends/wasm/EWasmToText.cpp b/libyul/backends/wasm/EWasmToText.cpp
index 0ae94c6a4..f9f0eeede 100644
--- a/libyul/backends/wasm/EWasmToText.cpp
+++ b/libyul/backends/wasm/EWasmToText.cpp
@@ -44,7 +44,7 @@ string EWasmToText::operator()(wasm::Literal const& _literal)
 
 string EWasmToText::operator()(wasm::Identifier const& _identifier)
 {
-	return "(get.local $" + _identifier.name + ")";
+	return "(get_local $" + _identifier.name + ")";
 }
 
 string EWasmToText::operator()(wasm::Label const& _label)
diff --git a/solc/CommandLineInterface.cpp b/solc/CommandLineInterface.cpp
index d2b9e4ac4..764376236 100644
--- a/solc/CommandLineInterface.cpp
+++ b/solc/CommandLineInterface.cpp
@@ -882,6 +882,8 @@ bool CommandLineInterface::processInput()
 				return false;
 			}
 		}
+		if (targetMachine == Machine::eWasm && inputLanguage == Input::StrictAssembly)
+			inputLanguage = Input::EWasm;
 		if (optimize && inputLanguage != Input::StrictAssembly)
 		{
 			serr() <<