diff --git a/docs/spec/edgebreaker.decoder.md b/docs/spec/edgebreaker.decoder.md
index a6cb339..5dfd97c 100644
--- a/docs/spec/edgebreaker.decoder.md
+++ b/docs/spec/edgebreaker.decoder.md
@@ -365,9 +365,14 @@ void DecodeEdgeBreakerConnectivity() {
 
 ~~~~~
 void ProcessInteriorEdges() {
+  AnsDecoder ans_decoder_;
+  RansInitDecoder(ans_decoder_, eb_start_face_buffer,
+      eb_start_face_buffer_size, L_RANS_BASE);
+
   while (active_corner_stack.size() > 0) {
     corner_a = active_corner_stack.pop_back();
-    interior_face = eb_start_face_buffer.ReadBits(1);
+    RabsDescRead(ans_decoder_,
+        eb_start_face_buffer_prob_zero, &interior_face);
     if (interior_face) {
       corner_b = Previous(corner_a);
       while (PosOpposite(corner_b) >= 0) {
diff --git a/docs/spec/edgebreaker.traversal.md b/docs/spec/edgebreaker.traversal.md
index 66a7517..01a2575 100644
--- a/docs/spec/edgebreaker.traversal.md
+++ b/docs/spec/edgebreaker.traversal.md
@@ -7,7 +7,8 @@
 void ParseEdgebreakerTraversalStandardData() {
   eb_symbol_buffer_size                                                               UI64
   eb_symbol_buffer                                                                    size * UI8
-  eb_start_face_buffer_size                                                           UI64
+  eb_start_face_buffer_prob_zero                                                      UI8
+  eb_start_face_buffer_size                                                           varUI32
   eb_start_face_buffer                                                                size * UI8
   for (i = 0; i < num_attribute_data; ++i) {
     attribute_connectivity_decoders_prob_zero[i]                                      UI8
diff --git a/docs/spec/variable.descriptions.md b/docs/spec/variable.descriptions.md
index ec0cc25..9794458 100644
--- a/docs/spec/variable.descriptions.md
+++ b/docs/spec/variable.descriptions.md
@@ -145,6 +145,8 @@
 * eb_symbol_buffer_size
 * eb_symbol_buffer
   * EdgeBreaker encoded symbol data
+* eb_start_face_buffer_prob_zero
+    * Face configuration encoded probability
 * eb_start_face_buffer_size
 * eb_start_face_buffer
   * EdgeBreaker encoded face configuration data