don't use (end-of-buffer) in non-interactive mode.