another bugfix for extempore.el