diff --git a/collects/eopl/eopl-small.gif b/collects/eopl/eopl-small.gif index 0338fb3c98..9b3ba5f9cf 100644 Binary files a/collects/eopl/eopl-small.gif and b/collects/eopl/eopl-small.gif differ