diff --git a/ebnf/Eo.png b/ebnf/Eo.png
index 61fea44eaf..a15e73cc25 100644
Binary files a/ebnf/Eo.png and b/ebnf/Eo.png differ
diff --git a/ebnf/Phi.png b/ebnf/Phi.png
index c06f47f3f7..1711dd2ed1 100644
Binary files a/ebnf/Phi.png and b/ebnf/Phi.png differ