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