diff --git a/makedot.sh b/makedot.sh
index 2a81cdbd1d5fa94b224ad9b930d3af35de534d19..05a460224989e6ff37022db4d17608fa42456347 100755
--- a/makedot.sh
+++ b/makedot.sh
@@ -5,7 +5,7 @@ DOTOPTS="-Nfontsize=15 -Tpdf"
 dot recycling-noopt.dot $DOTOPTS > recycling-noopt.pdf 
 dot recycling-opt.dot $DOTOPTS > recycling-opt.pdf 
 
-dot identity-noopt.dot $DOTOPTS > identity-noopt.pdf 
+dot identity-noopt.dot -Granksep=0.3 $DOTOPTS > identity-noopt.pdf 
 dot identity-opt.dot $DOTOPTS > identity-opt.pdf 
 
 dot pushdown-noopt.dot $DOTOPTS > pushdown-noopt.pdf