diff --git a/_people/bodin.md b/_people/bodin.md
index 916c4d0349f2af934bacde690873b4d37fb0107d..42e05812612a961b2a95139d53a08fe08fcdb7c2 100644
--- a/_people/bodin.md
+++ b/_people/bodin.md
@@ -14,7 +14,7 @@ Martin Bodin is a Research Associate with the group.
 
 Martin is currently working on a formalism called skeletons to represent the semantics 
 of real-world language, in order to get as many properties as possible [certified in the Coq 
-proof assistant](https://coq.inria.fr). He is also workiing on 
+proof assistant](https://coq.inria.fr). He is also working on 
 a [formalisation of WebAssembly/Wasm in Coq](https://github.com/Imperial-Wasm/wasm-coq-public).
 
 Martin Bodin did his PhD on [formal analyses of the JavaScript programming