Strange `eval-buffer' bug