diff --git a/supervisor-level.adoc b/supervisor-level.adoc
index 151d8b7..325614a 100644
--- a/supervisor-level.adoc
+++ b/supervisor-level.adoc
@@ -22,5 +22,5 @@
 * External devices (DMA engines, the debug unit, non RISC-V cores, etc) that
   are visible to RISC-V harts must appear as coherent agents, just like any
   RISC-V hart would.  If additional ordering constraints are necessary for a
-  device to function, those will be provide by a device-specific mechanism.
+  device to function, those will be provided by a device-specific mechanism.