use emacs overlay
use emacs overlay
use science overlay version
small fix