diff --git a/libsolidity/formal/SMTEncoder.cpp b/libsolidity/formal/SMTEncoder.cpp
index bbbe1b00d..be7112ad1 100644
--- a/libsolidity/formal/SMTEncoder.cpp
+++ b/libsolidity/formal/SMTEncoder.cpp
@@ -1124,7 +1124,7 @@ bool SMTEncoder::visit(MemberAccess const& _memberAccess)
 			}
 			else
 				// NOTE: supporting name, creationCode, runtimeCode would be easy enough, but the bytes/string they return are not
-				//       at all useable in the SMT checker currently
+				//       at all usable in the SMT checker currently
 				m_errorReporter.warning(
 					7507_error,
 					_memberAccess.location(),