chore(emacs/lean-info): fix a bug passing a wrong argument
chore(emacs/lean-info): fix a bug passing a wrong argument