Small edits to elisp