diff --git a/linera-witty/src/primitive_types/simple_type.rs b/linera-witty/src/primitive_types/simple_type.rs
index 001f6b0fb278..1e5b42ec99a5 100644
--- a/linera-witty/src/primitive_types/simple_type.rs
+++ b/linera-witty/src/primitive_types/simple_type.rs
@@ -11,7 +11,7 @@
 
 use super::FlatType;
 
-/// Marker trait to prevent [`SimpleType`] to be implemented for other types.
+/// Marker trait to prevent [`SimpleType`] from being implemented for other types.
 pub trait Sealed {}
 
 /// Primitive fundamental WIT types.
diff --git a/linera-witty/src/runtime/borrowed_instance.rs b/linera-witty/src/runtime/borrowed_instance.rs
index c944c18fac0d..d959e4087aa8 100644
--- a/linera-witty/src/runtime/borrowed_instance.rs
+++ b/linera-witty/src/runtime/borrowed_instance.rs
@@ -1,7 +1,7 @@
 // Copyright (c) Zefchain Labs, Inc.
 // SPDX-License-Identifier: Apache-2.0
 
-//! Implementations of Wasm instance related traits to mutable borrows of instances.
+//! Implementations of Wasm instance-related traits for mutable borrows of instances.
 //!
 //! This allows using the same traits without having to move the type implementation around, for
 //! example as parameters in reentrant functions.