diff --git a/reference/src/functions.md b/reference/src/functions.md
index 7f076607..5520d294 100644
--- a/reference/src/functions.md
+++ b/reference/src/functions.md
@@ -331,7 +331,7 @@ module b::other {
 Type arguments can be either specified or inferred. Both calls are equivalent.
 
 ```move
-module aexample {
+module a::example {
     public fun id<T>(x: T): T { x }
 }
 
diff --git a/reference/src/functions/macros.md b/reference/src/functions/macros.md
index 4c1aac30..208743a0 100644
--- a/reference/src/functions/macros.md
+++ b/reference/src/functions/macros.md
@@ -53,7 +53,7 @@ substituted at each usage.
 ## Lambdas
 
 Lambdas are a new type of expression that can only be used with `macro`s. These are used to pass
-code from the caller into the body of the `macro`. While the substition is done at compile time,
+code from the caller into the body of the `macro`. While the substitution is done at compile time,
 they are used similarly to [anonymous functions](https://en.wikipedia.org/wiki/Anonymous_function),
 [lambdas](https://en.wikipedia.org/wiki/Lambda_calculus), or
 [closures](<https://en.wikipedia.org/wiki/Closure_(computer_programming)>) in other languages.
@@ -74,7 +74,7 @@ A few examples
 If the return type is not annotated, it is unit `()` by default.
 
 ```move
-// the following are euiqvalent
+// the following are equivalent
 |&mut vector<u8>, u64|
 |&mut vector<u8>, u64| -> ()
 ```
@@ -151,7 +151,7 @@ macro fun call_foo<$T, $U>($x: $T): &$U {
 }
 ```
 
-This macro will only expand succesfully if `$T` has a method `foo` that returns a reference `&$U`.
+This macro will only expand successfully if `$T` has a method `foo` that returns a reference `&$U`.
 As described in the [hygiene](#hygiene) section, `foo` will be resolved based on the scope where
 `call_foo` was defined--not where it was expanded.
 
@@ -243,7 +243,7 @@ In this case, `$T` must be instantiated with a single type, but inference finds
 bound to both `u8` and `u16`.
 
 There is a tradeoff however, as the `_` type conveys less meaning and intention for the caller.
-Consider `map` macro from above redeclared with `_` instead of `$T` and `$U`.
+Consider `map` macro from above re-declared with `_` instead of `$T` and `$U`.
 
 ```move
 macro fun map($v: vector<_>, $f: |_| -> _): vector<_> {
@@ -340,7 +340,7 @@ The short answer is, no. `macro` functions are
 lambdas will not accidentally capture variables from another scope.
 
 The compiler does this by associating a unique number with each scope. When the `macro` is expanded,
-the macro body gets its own scope. Additionally, the arguments are rescoped on each usage.
+the macro body gets its own scope. Additionally, the arguments are re-scoped on each usage.
 
 Modifying the `dup` macro to use `x` instead of `a`
 
@@ -368,7 +368,7 @@ let sum = {
 This is an approximation of the compiler's internal representation, some details are omitted for the
 simplicity of this example.
 
-And each usage of an argument is rescoped so that the different usages do not conflict.
+And each usage of an argument is re-scoped so that the different usages do not conflict.
 
 ```move
 macro fun apply_twice($f: |u64| -> u64, $x: u64): u64 {
@@ -560,7 +560,7 @@ expanded, which forces the evaluation and thus the abort.
 ### Parameter Limitations
 
 The parameters of a `macro` function must always be used as expressions. They cannot be used in
-sutations where the argument might be re-interpreted. For example, the following is not allowed
+situations where the argument might be re-interpreted. For example, the following is not allowed
 
 ```move
 macro fun no($x: _): _ {