diff --git a/docs/sophia_stdlib.md b/docs/sophia_stdlib.md
index f1f18de..d0c5de3 100644
--- a/docs/sophia_stdlib.md
+++ b/docs/sophia_stdlib.md
@@ -1002,12 +1002,12 @@ Bitwise `xor` of _non-negative_ `x` and `y`.
 
 #### Types
 
-##### fp
+##### fr
 
 Built-in (Montgomery) integer representation 32 bytes
 
 
-##### fr
+##### fp
 
 Built-in (Montgomery) integer representation 48 bytes
 
@@ -1017,6 +1017,7 @@ Built-in (Montgomery) integer representation 48 bytes
 record fp2 = { x1 : fp, x2 : fp }`
 ```
 
+
 ##### g1
 ```
 record g1  = { x : fp, y : fp, z : fp }